Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
41	C Program Specialization Master’s Thesis (revised version) Lars Ole Andersen DIKU, Department of Computer Science, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Software engineering Computing Computer programming Logic in computer science Formal methods Programming language implementation Functional languages Programming paradigms Partial evaluation Programming language Operational semantics Functional programming
42	university of copenhagen department of computer science Faculty of Science Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2014-01-14 07:20:59 Software engineering Computing Theoretical computer science Logic in computer science Compiler construction Programming language implementation Semantics Compiler Eval Denotational semantics Correctness Functional programming
43	From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 05:00:45 Logic Mathematics Abstraction Mathematical logic Mathematical notation Predicate logic Elementary mathematics Metalogic Substitution Term Lambda calculus Structure
44	New Essays on the Human Understanding Book III—Words G. W. Leibniz Copyright ©2010–2015 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been Add to Reading List Source URL: www.earlymoderntexts.com Language: English Philosophy Metaphysics Ontology Semantics Philosophical logic Philosophy of language Concepts Definition Gottfried Wilhelm Leibniz Idea Potentiality and actuality Meaning
45	Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordi Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:16:43 Logic Mathematical logic Model theory Metalogic Interpretation Philosophy of mind Semantics First-order logic Constructible universe Linear temporal logic operator
46	Embodied Pragmatics and the Evolution of Language Add to Reading List Source URL: www.humanamente.eu Language: English - Date: 2015-10-12 08:42:18 Academia Philosophy Linguistics Philosophical logic Human communication Meaning Cognitive science Pragmatics Language Semantics Truth Models of communication
47	DONALD DAVIDSON BELIEF AND Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Philosophy Logic Cognitive science Philosophy of language Philosophical logic Semantics Meaning Epistemology Donald Davidson Truth Relevance Theory
48	Statistical Relational Learning with Soft Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marjon Blondeel4 , Marie-Francine Moens2 , Lise Getoor5 , and Martine De Cock1,6 1 Dept. of Applied Mathematics, Computer Sc Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-09-22 18:21:56 Logic Mathematical logic Abstraction Quantification Predicate logic Model theory Semantics Formal languages Quantifier First-order logic Constructible universe Universal quantification
49	Reconstructing Arguments: Formalization and Reflective Equilibrium Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:21 Logic Abstraction Philosophy Arguments Critical thinking Philosophy of language Logical truth Semantics First-order logic Logical form Propositional calculus Meaning
50	Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 123–141 http://www.cssp.cnrs.fr/eiss8 Expressive Modifiers & Mixed Expressives Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2011-02-21 12:14:18 Logic Abstraction Philosophy Philosophy of language Formal languages Grammar Type theory Model theory Proposition Meaning Musical argument Intensifier